Nuprl Definition : ma-single-sframe
11,40
postcript
pdf
only
L
sends on (
l
with
tg
)
== ma{
;
== ma{
;
== ma{
;
== ma{
;
== ma{
;
== ma{
;
== ma{
;
== ma{
<
l
,
tg
> :
L
;
== ma{
;
== ma{
;
== ma{
;
== ma{
}
latex
Definitions
mk-ma
,
x
:
v
,
<
a
,
b
>
,
FDL editor aliases
ma-single-sframe
origin
;
;
;
;
;
;
;
;
;
;
} ;
;
;
;
;
;
;
;
;
;
}